Cryptoprogramming: A Software Tamper Resistant Mechanism Using Runtime Pathway Mappings

Mobile code suffers from the malicious host problem. When an adversary receives code he is able to effectively tamper with the code if he is able to relate the operations of the program with the appropriate context, that is, understanding the semantics of the program. In order to thwart an adversary from effectively tampering with a program he must be given an encrypted version such that he may be able to observe its operations but not understand why those operations are performed. Our notion of encrypting a program in such a way is to semantically alter it. In this paper, we add a White-box dimension called Cryptoprogramming to the Black-box notion of our Semantic Encryption Transformation Scheme. We construct an encrypted program by transforming the runtime logical pathways of the original program into a nonequivalent set of corresponding runtime logical pathways, and yet still allow for easy recoverability of the output of the program.